Scheme theory

Results: 835



#Item
301Procedural programming languages / Functional languages / Lisp programming language / Cross-platform software / Control flow / Scheme / Eval / Lisp / ALGOL 68 / Software engineering / Computing / Programming language theory

Chez Scheme Version 7.0 Release Notes c 2005 Cadence Research Systems Copyright All Rights Reserved August[removed]Overview

Add to Reading List

Source URL: www.scheme.com

Language: English - Date: 2007-12-31 15:25:19
302Lisp programming language / Lisp / Type system / Scheme / Functional programming / CAR and CDR / Software engineering / Programming language theory / Computer programming

From Soft Scheme to Typed Scheme: 20 Years of Scripts-toProgram Conversion Matthias Felleisen, PLT & NU PRL Robert “Corky” Cartwright

Add to Reading List

Source URL: www.ccs.neu.edu

Language: English - Date: 2009-07-13 21:37:04
303Functors / Algebraic geometry / Sheaf theory / Scheme theory / Grothendieck topology / Hom functor / Algebraic space / Adjoint functors / Natural transformation / Abstract algebra / Category theory / Algebra

QUOT AND HILBERT SPACES Contents 1. Introduction 2. Conventions 3. The Hom functor

Add to Reading List

Source URL: stacks.math.columbia.edu

Language: English - Date: 2015-04-03 17:14:51
304General topology / Algebraic geometry / Scheme theory / Commutative algebra / Étale morphism / Spectrum of a ring / Étale cohomology / Zariski topology / Sheaf / Abstract algebra / Topology / Mathematics

´ PRO-ETALE COHOMOLOGY Contents 1. Introduction

Add to Reading List

Source URL: stacks.math.columbia.edu

Language: English - Date: 2015-04-03 17:14:30
305Programming language theory / Hash function / Information science / Artificial intelligence / Search algorithms / Scheme / Hash table

Chez Scheme Version 7.4 Release Notes c 2007 Cadence Research Systems Copyright All Rights Reserved December[removed]Overview

Add to Reading List

Source URL: www.scheme.com

Language: English - Date: 2008-01-08 18:41:54
306Algebra / Sheaf theory / Formal scheme / Sheaf / Grothendieck topology / Scheme / Ringed space / Spectrum of a ring / Proper morphism / Abstract algebra / Algebraic geometry / Scheme theory

FORMAL ALGEBRAIC SPACES Contents 1. Introduction 2. Formal schemes ` a la EGA

Add to Reading List

Source URL: stacks.math.columbia.edu

Language: English - Date: 2015-04-03 17:14:44
307Computing / Software engineering / Syllabus / ALGOL 68 / Programming language theory / Cursor / SQL

Course List for Cross-Institutional Course Enrolment Scheme (2nd Semester, Institution: City University of Hong Kong Subject Code

Add to Reading List

Source URL: www.cityu.edu.hk

Language: English - Date: 2014-12-07 22:33:44
308Visual arts / Color theory / Blue / Color scheme / Orange / Color wheel / Complementary colors / Tincture / Color / Perception / Vision

Taubmans_colourinfographic_V2_FA

Add to Reading List

Source URL: s3-ap-southeast-1.amazonaws.com

Language: English - Date: 2014-09-16 00:34:47
309Subroutines / Functional programming / Lambda calculus / Higher-order functions / Computability theory / Function / Main function / Parameter / Scheme / Software engineering / Computer programming / Computing

Once you see how it works, it’s not so mysterious. 21 Example: The Functions Program

Add to Reading List

Source URL: www.cs.berkeley.edu

Language: English - Date: 2008-08-15 14:41:19
310Cursor / SQL / City University of Hong Kong / ALGOL 68 / Hong Kong / Programming language theory / Computing

Course List for Cross-Institutional Course Enrolment Scheme (2nd Semester, Institution: City University of Hong Kong Subject Code

Add to Reading List

Source URL: www.cityu.edu.hk

Language: English - Date: 2014-12-18 22:32:10
UPDATE